基于Internet的高校体育教学信息网页的设计与实现

通过分析高校体育网页建设的可行性及现状,提出了基于Internet的体育教学信息网页的总体设计,简要介绍了系统各功能模块及数据库设计,讨论了采用ASP、JavaScript技术及ACCESS开发系统的数据库访问技术和动态网页制作技术,并给出了部分实现代码.     

基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

基于混合蛙跳算法的时序电路测试生成

阐述了将混合蛙跳算法应用在时序电路自动测试生成的实现方法和结果;根据时序电路自身的结构特点,构造了测试生成的混合蛙跳表达方式,设计了自动测试生成离散混合蛙跳模型,通过群体中青蛙间的合作和竞争产生的群智能指导快速优化收敛;最后,根据国际标准时序电路进行了验证试验;结果表明,与同类算法相比,该算法获得了较小的测试集和较高的故障覆盖率。     

具有异维数子系统的切换系统稳定性分析

研究一类线性切换系统的稳定性问题.该类切换系统包含2个不同维数的线性子系统.首先根据原系统的结构,构造出它的比较切换系统;然后设计出比较系统的切换率,在保证每个线性子系统的被激活时间均大于某一数值τ(＞0)的情况下,构造出2个子系统的Lyapunov函数;随后利用线性矩阵不等式(LMI)的方法给出每个子系统渐近稳定的条件.进一步利用Lyapunov稳定性理论的方法,保证整个比较系统的渐进稳定性,进而给出了原切换系统达到渐近稳定的一个充分条件.最后,一个数值例子说明文中方法的有效性.     

基于数字预失真技术的功放线性化研究

无线通信系统中,由于功放本身的非线性失真,导致信号带外产生频谱,限制了数据速率和频谱利用率。通过分析功放非线性原理,针对无记忆和记忆两种功放行为模型,提出分别采用查找表算法和最小二乘与最小均方误差相结合的算法进行线性优化。在Matlab环境下创建数字基带预失真链路模型。仿真结果表明,预失真器对两种模型中功率谱密度的改善分别达到39dB和15dB,提高了功放效率,降低了邻道干扰。针对不同功放类型的线性化进行对比研究讨论,并选择出适合不同功放的最优算法,具有较好的预失真效果,为设计实际功放线性化电路具有指导意义。     

一种基于JPEG 2000的数字图像内容认证算法*

针对JPEG 2000图像内容认证的需求,提出一种适用于JPEG 2000图像认证的半脆弱水印算法.首先,将原始图像分块按Hilbert扫描顺序排列;然后在原图像分块Hilbert序列中选取分块,再结合各分块临界噪声阈值矩阵JND阈值,完成小波域的水印自适应嵌入;最后,引入私钥对水印进行加密,提高系统的安全性.在认证端,从接收到的图像提取其中所隐藏信息,比较接收到的图像和隐藏信息,判断内容发生变化的位置.实验表明,该算法对窜改等破坏图像内容的恶意操作有精确的检测和定位能力.     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

基于μC/OS-Ⅱ的便携式次声检测仪设计

考虑次声波检测的广泛应用前景及目前国内相关研究的相对匮乏,设计了以STM32F103为控制核心的便携式次声检测仪。结合实时操作系统μC/OS-Ⅱ的多任务调度特性和ucgui图形用户界面简易绘图的特点,通过快速傅里叶变换(FFT)实现了对环境中次声波的检测与分析。软件部分均由C语言编程实现,易于系统移植和功能扩展。该系统具有成本低、操作简单、准确度和稳定性高等优点。     

聚乙烯醇与淀粉共混薄膜的研究

在添加剂作用下,将聚乙烯醇(PVA)与淀粉进行溶液共混,通过正交实验法确定了生产PVA-淀粉塑料薄膜的最优化工艺条件。在最优化工艺条件下,制得了相容性较好且具有良好生物降解性能的PVA-淀粉塑料薄膜。